science - PDFSEARCH.IO - Document Search Engine

science
Results: 788472

#	Item
71	MPA Science Brief: What Does the Science Say? DO “NO-TAKE” MARINE RESERVES BENEFIT ADJACENT FISHERIES? Despite using conventional fishery management tools such as changes in gear used, use of short-term closures, an Add to Reading List Source URL: nmsmarineprotectedareas.blob.core.windows.net Language: English - Date: 2017-07-31 07:00:56 Fishing Fisheries law Fisheries science Marine conservation Protected areas Marine protected area Oceanography Fisheries management Ichthyoplankton Overfishing Marine reserve Fish stock
72	SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China Add to Reading List Source URL: apsys11.ucsd.edu Language: English - Date: 2011-07-04 13:02:25 Computing Open formats RSS Computer file formats Data types Cloud computing Atom News aggregator Pointer swizzling Pointer Computer data storage Cloudlet
73	Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Logic Mathematical logic Non-classical logic Markov logic network Software testing Probabilistic logic Software bug Code coverage Debugging Inference First-order logic Buggy
74	Press Release April 11, 2013 New versions of WS-PGRADE/gUSE and the CloudBroker Platform provide extended cloud access for science gateways Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2013-04-11 05:33:26 Grid computing Computing Cloud infrastructure IT infrastructure Concurrent computing Hungarian Academy of Sciences GUSE MTA SZTAKI Laboratory of Parallel and Distributed Systems Science gateway Pter Kacsuk OpenNebula OpenStack
75	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-06 05:40:55 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
76	CSAS SCCS Canadian Science Advisory Secretariat Add to Reading List Source URL: biblio.uqar.ca Language: English - Date: 2011-03-31 11:34:05 Fishing Barndoor skate Environmental impact of fishing Skate Bycatch Dipturus Scotian Shelf Gillnetting
77	A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-12-13 09:31:41 Computational complexity theory Complexity classes Analysis of algorithms Mathematical optimization Structural complexity theory P versus NP problem NP Average-case complexity Computational complexity Reduction Randomized algorithm BPP
78	Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software engineering Computer programming Computing Interpolation Video Video signal Craig interpolation Pure Foreach loop
79	Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:58 Applied mathematics Cognition Cybernetics Learning Machine learning Artificial neural network Analysis Algorithm Mathematics
80	STEP-C WEBSITE GENERAL TERMS OF USE The content(s) of any and all website(s) of the Science and Technology Park of Crete (STEP-C), are subject to the present general terms and conditions of use in addition to any other s Add to Reading List Source URL: www.stepc.gr Language: English - Date: 2018-06-26 03:32:53 Internet privacy Computer access control HTTP cookie Website Web analytics Terms of service Computer security World Wide Web Information privacy Privacy concerns with social networking services

UPDATE